SYNTHESIS OF RELIABLE CIRCUITS AT LINEAR ADHESION OF VARIABLES
IN THE “ANTICONJUCTION” BASIS

Alekhina Marina Anatol'evna, Doctor of physical and mathematical sciences, professor, head of sub-department of mathematics, Penza State Technological University (1a/11 Baydukova lane/Gagarina street, Penza, Russia), ama@sura.ru

519.718

Background. The increaed complexity of modern systems of information processing, transfer and storage highlights a requirement of reliability and management of various control and computing systems. In the theory of control system reliability and management one can single out three main areas: 1) formation of reliable circuits from unreliable gates; 2) synthesis of self-correcting circuits; 3) formation of tests for circuit checking and diagnosing. The work is devoted to a topical problem of formation of reliable circuits realizing Boolean functions at various failures on inputs (linear functions that considerably depend on two variables are input). The aim of the study is to build reliable circuits and to obtain unreliability estimates for the said circuits.
Materials and methods. The author used previously known methods of reliable circuits synthesis and circuit unreliability estimates obtainment.
Results. For each of twol cases of basis gates failures the author built reliable circuits and obtained circuit unreliability estimates. The results obtained may be used in technical system design for reliability improvement.
Conclusions. The author built reliable circuits relative to linear adhesions of variables in “anticonjunction” basis gates in cases, when the adhesion function significantly depends on two variables.

unreliable functional gates, reliability of circuits, unreliability of circuits, failures on inputs of gates

1. Neuman von J. Automata studies. Princeton University Press, 1956, pp. 43–98.
2. Alekhina M. A. Sintez, nadezhnost' i slozhnost' skhem iz nenadezhnykh funktsional'nykh elementov: dis. dokt. fiz.-mat. nauk [Synthesis, reliability and complexity of circuits made of unreliable functional gates: dissertation to apply for the degree of the doctor of physical and mathematical sciences]. Penza, 2004, 169 p.
3. Alekhina M. A., Barsukova O. Yu. Izvestiya vysshikh uchebnykh zavedeniy. Povolzhskiy region. Fiziko-matematicheskie nauki [University proceedings. Volga region. Physical and mathematical sciences]. 2013, no. 3 (27), pp. 31–47.
4. Alekhina M. A., Barsukova O. Yu. Computer Science and Information Technology. 2014, vol. 2(1),pp.51–54.
5. Alekhina M. A., Kurysheva V. V. Izvestiya vysshikh uchebnykh zavedeniy. Matematika [University proceedings. Mathematics]. 2016, no. 7, pp. 1–7.
6. Alekhina M. A. Izvestiya vysshikh uchebnykh zavedeniy. Povolzhskiy region. Fizikomatematicheskie nauki [University proceedings. Volga region. Physical and mathematical sciences]. 2015, no. 2 (34), pp. 5–15.
7. Alekhina M. A., Grabovskaya S. M. Izvestiya vysshikh uchebnykh zavedeniy. Matematika [University proceedings. Mathematics]. 2012, no. 2, pp. 13–22.
8. Romanov D. S. Prikladnaya matematika i informatika [Applied mathematics and informatics]. 2010,vol.36,p.91.
9. Romanov D. S. Computational Mathematics and Modeling. 2012, vol. 23, pp. 72–78.
10. Morozov E. V., Romanov D. S. Diskretnyy analiz i issledovanie operatsiy [Discrete analysis and research of operations]. 2015, vol. 22, no. 1, pp. 49–61.
11. Morozov E. V., Romanov D. S. Diskretnaya matematika i ee prilozheniya: materialy XI Mezhdunar. seminara, posvyashch. 80-letiyu so dnya rozhdeniya akademika O. B. Lupanova (Moskva, MGU, 18–23 iyunya 2012 g.) [Discrete mathematics and its applications: proceedings of XI International seminar commemorating 80th jubilee of academician O.V. Lyupanov (Moscow, MSU, 18-23 June 2012)]. Moscow: Izd-vo mekhanikomatematicheskogo fak-ta MGU, 2012, pp. 144–147.
12. Alekhina M. A. Izvestiya vysshikh uchebnykh zavedeniy. Povolzhskiy region. Ser. Estestvennye nauki [University proceedings. Volga region. Ser. Natural sciences]. 2005, no. 6, pp. 36–41.
13. Tarasov V. V. Matematicheskie zametki [Mathematical notes]. 1976, vol. 20, no. 3, pp. 391–400.